Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
211	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence
212	Taming the Wildcards: Combining Definition- and Use-Site Variance John Altidor Shan Shan Huang Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2011-03-18 06:53:14 Polymorphism Computing Software engineering Statistics Object-oriented programming Type theory Covariance and contravariance Wildcard Variance Scala Subtyping Normal distribution
213	Encoding Intonational Information in a Logical Grammar Chris Worth (Ohio State University) The discrepancy between syntactic structure and intonational structure is well known. This makes it particularly difficult to sim Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2011-10-17 16:59:48 Formal languages Logic Syntax Grammar Language Type theory Categorial grammar Formal grammar Linear logic
214	G¨ odel type spacetimes The variational principle Our result Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Theoretical physics Physics Spacetime Theory of relativity Variational principle Lorentzian manifolds
215	Physikalisches Institut Universit¨at Bonn Theoretische Physik Exercise 9 24 May 2015 Add to Reading List Source URL: www.th.physik.uni-bonn.de Language: English - Date: 2015-06-24 06:49:15 String theory Physics Worldsheet String Type II string theory D-brane Dilaton
216	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference
217	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator
218	Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary Add to Reading List Source URL: norvig.com Language: English - Date: 2003-10-26 19:35:31 Software engineering Automated theorem proving Mathematics Computer programming Logic programming Unification Type theory Logic in computer science SUBST Substitution Occurs check Resolution
219	The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars Makoto Kanazawa and Sylvain Salvati 1 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2013-11-24 23:56:09 Complexity classes Type theory Categorial grammar Theoretical computer science NP Grammar P Mathematics Washington State Judicial election 18th South African Parliament
220	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic

UPDATE